Pulmonary vein isolation using contact force sensing catheter